Memory safety - PDFSEARCH.IO - Document Search Engine

Memory safety
Results: 222

#	Item
31	Portable Software Fault Isolation Joshua A. Kroll Computer Science Department Princeton University Princeton, NJ Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2014-05-13 12:55:36 Software bugs Data types Primitive types Memory management Pointer C Memory safety Stack machine Type safety Software engineering Computing Computer programming
32	WELCOME to the Stead Family Memory Center at Banner Alzheimer’s Institute (BAI). As a Center of Excellence focused on the diagnosis, treatment, and study of Alzheimer’s disease (and related disorders), we offer a co Add to Reading List Source URL: www.banneralz.org Language: English - Date: 2014-06-23 11:06:26 Patient safety Medical informatics Athletic training Nursing Medical record Medical history Medical error Medical prescription Patient Medicine Health Medical terms
33	Effectiveness of Safe at Home/Safe at School Pipeline Safety Program Implemented in the Add to Reading List Source URL: opsweb.phmsa.dot.gov Language: English - Date: 2011-05-26 09:58:33 Arrays Circular buffer Computer memory Galena Park Texas Science Jacinto City Texas Geography of the United States Greater Houston Geography of Texas Texas
34	Oglala Lakota College Head Start/Early Head Start Program POLICY AND PROCEDURES TITLE: Ongoing Monitoring and Reporting Add to Reading List Source URL: headstart.olc.edu Language: English - Date: 2015-06-03 14:25:11 Occupational safety and health Management Health Memory Checklist Notetaking Early Head Start
35	Jessie Plugin Tutorial Frama-C version: Boron Jessie plugin version: 2.26 Claude Marché1,3 , Yannick Moy2,3 , Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:46 Frama-C Procedural programming languages Pointer Memory safety C Computing Computer programming Software engineering
36	MemSherlock: An Automated Debugger for Unknown Memory Corruption Vulnerabilities ∗ Emre C. Sezer Peng Ning Chongkyung Kil Department of Computer Science Add to Reading List Source URL: discovery.csc.ncsu.edu Language: English - Date: 2011-11-09 13:26:03 Software bugs Memory safety Pointer Stack buffer overflow PaX Buffer overflow C Vulnerability Debugging Computing Software engineering Computer programming
37	Watchdog: Hardware for Safe and Secure Manual Memory Management and Full Memory Safety Santosh Nagaraka1e, Milo M. K. Mar8n, Steve Zdanc Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2012-09-24 17:17:58 Data types Embedded systems Memory management Pointer C Watchdog timer Vulnerability Computing Software engineering Computer programming
38	PDF Document Add to Reading List Source URL: human-factors.arc.nasa.gov Language: English - Date: 2004-11-23 17:26:08 Prospective memory Human factors Crew resource management Aviator Air safety Aviation Transport
39	Specifying and Checking Semantic Atomicity for Multithreaded Programs Jacob Burnim George Necula Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2013-05-12 14:18:02 Computing Data Linearizability Serializability Transactional memory Lock Thread safety Non-blocking algorithm Atomicity Concurrency control Transaction processing Data management
40	Jessie Plugin Tutorial Beryllium Version Yannick Moy Claude Marché Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:56 Frama-C Pointer Memory safety C programming language Procedural programming languages Computer programming Computing Software engineering

UPDATE